Mapping Deontic Operators to Abductive Expectations
نویسندگان
چکیده
A number of approaches to agent society modeling can be found in the Multi-Agent Systems literature which exploit (variants of) Deontic Logic. In this paper, after briefly mentioning related approaches, we focus on the Computational Logic (CL) approach for society modeling developed within the UE IST-2001-32530 Project (named SOCS), where obligations and prohibitions are mapped into abducible predicates (respectively, positive and negative expectations), and norms ruling the behavior of members are represented as abductive integrity constraints. We discuss how this abductive framework can deal with Deontic Logic concepts, by introducing additional integrity constraints.
منابع مشابه
Mapping of Deontic Operators to Abductive Expectations
In this paper we give a short introduction to the emerging area of normative multiagent systems by presenting definitions and examples.
متن کاملTowards a Mapping of Deontic Logic onto an Abductive Framework
A number of approaches to agent society modeling can be found in the Multi-Agent Systems literature which exploit (variants of) Deontic Logic. In this paper, after briefly mentioning related approaches, we focus on the Computational Logic (CL) approach for society modeling developed within the UE IST-2001-32530 Project (named SOCS), where obligations and prohibitions are mapped into abducible p...
متن کاملDischargeable Obligations in Abductive Logic Programming
Abductive Logic Programming (ALP) has been proven very effective for formalizing societies of agents, commitments and norms, in particular by mapping the most common deontic operators (obligation, prohibition, permission) to abductive expectations. In our previous works, we have shown that ALP is a suitable framework for representing norms. Normative reasoning and query answering were accommoda...
متن کاملViolation Contexts and Deontic Independence
In this paper we discuss the role of context and independence in normative reasoning. First, deontic operators { obligations, prohibitions , permissions { referring to the ideal context may connict with operators referring to a violation (or contrary-to-duty) context. Second, deontic independence is a powerful concept to derive deontic operators from such operators of other violation contexts. ...
متن کاملExpressing and Verifying Business Contracts with Abductive Logic Programming
In this article, we propose to adopt the SCIFF abductive logic language to specify business contracts, and show how its proof procedures are useful to verify contract execution and fulfilment. SCIFF is a declarative language based on abductive logic programming, which accommodates forward rules, predicate definitions, and constraints over finite domain variables. Its declarative semantics is ab...
متن کامل